import java.math.BigDecimal;
import java.util.Scanner;

public class BEGIN_2 {

	public static void main(String[] args) {
		Scanner sc = new Scanner(System.in);
		long n = sc.nextLong();
		System.out.println(sum(n).add(new BigDecimal(1))); //541515613113541235.00
	}
	
	private static BigDecimal sum(long n) {
//		return ""+( 1 + n ) * n / 2.0;    //这样输出的结果是 一个浮点数！！可能不符合要求
//		return ""+( 1 + n ) * n / 2;   
		
//		String ret =""+ ( 1 + n ) * n / 2.0;
//		return ret.substring(0, ret.length() - 2);   //这样的问题是 规模很大的时候会变成科学计数法 直接把E给截掉了！！

//		return new BigDecimal(541515613113541234.0);  //使用构造器构造浮点数 不会显示成科学计数法； 也不会带 无算术意义的 ".0"；但值还是浮点数的值，精度问题照样有；
//		return BigDecimal.valueOf(541515613113541234.0); // 上下对比可知 两种方法的意义是不同的；这一行仅仅是把double值转为了BigDecimal类型而已，什么都没变，输出也是按照double输出，该科学计数法还科学计数法， .0还是.0
		return new BigDecimal("541515613113541234.00"); //字符串做入参，因为没有浮点数精度的限制，所以是精确运算；只要一直用string而不掺杂 ".doublevalue"等调用 那就是精确运算，*输出也按保留原字符串样式*
//		String ret = new BigDecimal(( 1 + n ) * n / 2.0).toString();  
//		return ret;
		
	}
	
}
